dividing 7 by 3